real language learning is procedural, but apps are almost exclusively declarative...

in (early) ◊ language acquisition , almost all useful knowledge is ◊ procedural, right? And ‣ duolingo and Spaced Repetition, done in a standard way, is almost completely declarative learning